package TP2.TDA;

public interface ConjuntoTDA {

	void inicializar();

	boolean vacio(); // PC: Conjunto inicializado

	void agregar(int x); // PC: Conjunto inicializado

	void sacar(int x); // PC: Conjunto inicializado

	int elegir(); // PC: Conjunto no vacio

	boolean pertenece(int x); // PC: Conjunto inicializado
}
